package mac5789.solver;

import mac5789.sat.SatProblem;

/**
 * Resolvedor SAT.
 * 
 * @author lundberg
 * 
 */
public interface SatSolver {

    /**
     * Resolve o problema SAT.
     * 
     * @param problem
     *            problem
     * @return resultados
     */
    SatSolverResult solve(SatProblem problem);
}
